COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	BEGIN "TEST"
C00003 ENDMK
C⊗;
BEGIN "TEST"
REQUIRE 100 NEW_ITEMS;
REQUIRE PNAMES;

REQUIRE "PREAMB.SAI[SYS,HE]" SOURCE_FILE;

REAL ARRAY ITEMVAR X,Y; INTEGER J;
FOREACH X|XεPROTOTYPES DO OUTSTR("PROTOTYPE:"&CVIS(X,J)&'12&'15);

IF GLOBAL CUBEεPROTOTYPES THEN BEGIN "T"
OUTSTR("CUBE IS INDEED A PROTOTYPE");
 FOR J←1,2,3 DO
	FOREACH X,Y | GLOBAL VERTEX⊗CUBE≡X
    		       ∧ GLOBAL VERTEX⊗CUBE≡Y
			∧ (GLOBAL DATUM(X)[J]<0)
			∧ (GLOBAL DATUM(Y)[J]>0)
		DO  BEGIN OUTSTR("FOUND VERTEX " &CVG(GLOBAL DATUM(X)[J])
					  &CVG(GLOBAL DATUM(Y)[J])&13&10);
		DONE; END;
END "T";
END "TEST";